1. Artificial intelligence techniques :
پدیدآورنده : Alan Bundy, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
2. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
814
3. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Artificial intelligence - Data processing
رده :
Q
.
B86
336
1990
4. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed(; asistant editor, Alan Smaill
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing ، Artificial intelligence
رده :
Q
336
.
C28
1990
